declarative knowledge

Declarative knowledge is about rememebered facts about the world, in contrast to procedural knowledge, which tries tom work out things on the fly. This distinction applies to human reasoning, for example, one perosn might recall their seven times table (decarative knowledge), wheras another might recall one or two key multiples and then rapdily add or subtract sevens (procedural knowledge). It also applies to automated reasoning . In particular machine learning and statistical algorithms using the web and other big data techniques allow declarative reasoning that may appear intelligent without any real understanding.